Skip to content

Document GitHub auto-delete setting to reduce merged branch clutter#27

Merged
NagyVikt merged 1 commit intomainfrom
agent/codex/20260411-183538-bia-edixai-com-readme-auto-delete-head-branches
Apr 11, 2026
Merged

Document GitHub auto-delete setting to reduce merged branch clutter#27
NagyVikt merged 1 commit intomainfrom
agent/codex/20260411-183538-bia-edixai-com-readme-auto-delete-head-branches

Conversation

@NagyVikt
Copy link
Copy Markdown
Collaborator

Automated by scripts/agent-branch-finish.sh (PR flow).

Adds an explicit optional setup step for enabling GitHub's automatic head-branch deletion so merged agent branches are cleaned up remotely without manual pruning.

Constraint: Setting lives in GitHub repository settings, not local CLI config
Confidence: high
Scope-risk: narrow
Reversibility: clean
Directive: Keep this note in the setup checklist near branch workflow steps so users enable it during initial repo setup
Tested: README diff and checklist insertion verified locally
Not-tested: End-to-end GitHub settings toggle behavior (external UI)
@NagyVikt NagyVikt force-pushed the agent/codex/20260411-183538-bia-edixai-com-readme-auto-delete-head-branches branch from 166c436 to 2105968 Compare April 11, 2026 16:41
@NagyVikt NagyVikt merged commit 59a8289 into main Apr 11, 2026
7 checks passed
@NagyVikt NagyVikt deleted the agent/codex/20260411-183538-bia-edixai-com-readme-auto-delete-head-branches branch April 11, 2026 16:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant